Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
31	Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-15 09:47:16 Theoretical computer science Statistics Markov models Mathematics Graph theory Markov chain Stochastic process Stochastic Process calculus Semantics Algebra over a field PEPA
32	Mathematical Foundations of Quantum Mechanics Agapitos N. Hatzinikitas Department of Mathematics University of Aegean Add to Reading List Source URL: sot2012.pns.aegean.gr Language: English - Date: 2013-07-18 06:43:47 Mathematical analysis Operator theory Theoretical physics Mathematics Self-adjoint operator Hilbert space operator Distribution Unbounded operator Operator Differential operator Hermitian adjoint
33	Sutra: International Journal of Mathematical Science Education © Technomathematics Research Foundation Vol. 1, No. 1, 1 – 8, 2008 MATHEMATICS THRILLERIUM Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2008-11-10 09:49:35 Number theorists Philosophers of science Philosophy of mathematics Mathematics Pure mathematics Albert Einstein Mathematical analysis Foundations of mathematics Tensor Srinivasa Ramanujan Calculus David Hilbert
34	1 Farbod Roosta-Khorasani University of California, Berkeley Department of Statistics and ICSI Email: Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2016-08-12 15:36:17 Computational science Applied mathematics Numerical linear algebra Mathematical optimization Foundations of Computational Mathematics Computational mathematics Numerical analysis SIAM Journal on Scientific Computing
35	FallMATH 108P Foundations of Mathematics I OVERVIEW OF COURSE Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2015-08-23 18:14:18 Academic transfer Education reform Grading systems by country Regents Examinations
36	Department of Mathematical Sciences Northern Illinois University MATH 201 Foundations of Elementary School Mathematics This course aligns with the mathematical content and mathematical practices recommended in The Mathem Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2013-12-05 16:01:30 Mathematics education Binary operations Elementary arithmetic Principles and Standards for School Mathematics Mathematics Subtraction Algebra Mathematical practice Multiplication
37	And the Winners Are... An Axiomatic Approach to Selection from a Set Add to Reading List Source URL: ftp.iza.org Language: English - Date: 2014-07-30 08:59:45 Z notation Axiom S Combination Foundations of mathematics Metric Axiom of infinity Peano axioms
38	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function
39	Emanuele Frittaion Curriculum Vitae 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-05-17 18:40:36 Mathematical logic Mathematics Computability theory Logic Philosophy of mathematics Foundations of mathematics Reverse mathematics Constructivism
40	Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:06 Logic Proof theory Mathematical logic Mathematics Proof mining Mathematical proof Consistency Constructive proof Formal proof Intuitionistic logic Approximation Type theory